COMPATIBLE_MACHINE:s32 ?= "s32"
OPTEEMACHINE:s32 ?= "s32"